Struct isotope::primitive::logical::BOOL [−][src]
pub struct BOOL { /* fields omitted */ }
Expand description
The boolean type, with the default type
Methods from Deref<Target = TermId>
Convert this TermId
to an abstract syntax tree in the given context with it’s annotation
Convert a term to it’s prettyprinted string
Convert a term to it’s prettyprinted string for debugging